Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
121	Under consideration for publication in Math. Struct. in Comp. Science An introduction to decidability of Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:11:51 Applied mathematics Simply typed lambda calculus Theory of computation Theoretical computer science Computer science Lambda calculus
122	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
123	First-Order, Curry-Typed Logic for Natural Language Semantics Chris Fox1 , Shalom Lappin2? , and Carl Pollard3 Add to Reading List Source URL: www.cs.haifa.ac.il Language: English - Date: 2002-07-01 08:11:22 Model theory Philosophy of language Formal languages Metalogic Interpretation First-order logic Lambda calculus Type theory Type system Logic Mathematical logic Mathematics
124	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
125	Chapter 1 Functional Concepts in C++ Rose H. Abdul Rauf1 , Ulrich Berger2 , Anton Setzer2 3 Abstract: We describe a parser-translator program that translates typed λ-terms into C++ classes so as to integrate functional Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:37:26 Functional programming Models of computation Lambda calculus Subroutines Logic in computer science Denotational semantics Eval Type system Symbol Software engineering Computing Declarative programming
126	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-04-29 09:46:20 Symbol Orbifold
127	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory
128	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
129	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation